翻訳と辞書 Words near each other ・ Skol (album) ・ Skol (disambiguation) ・ Skol Airlines ・ Skol Company ・ Skol Lager Individual ・ Skol Veythrin Karenza ・ Skol, Vikings ・ Skolankowska Wola ・ Skold ・ Skold vs. KMFDM ・ Skole ・ Skole Beskids ・ Skole Raion ・ Skolebrød ・ Skolelinux ・ Skolem arithmetic ・ Skolem arithmetic (disambiguation) ・ Skolem normal form ・ Skolem problem ・ Skolem's paradox ・ Skolem–Mahler–Lech theorem ・ Skolem–Noether theorem ・ Skolfield-Whittier House ・ Skolian Empire ・ Skolimowo ・ Skolin ・ Skolion ・ Skolithos ・ Skolity ・ Skolkovo Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Skolem arithmetic ： ウィキペディア英語版 Skolem arithmetic Skolem arithmetic is the first-order theory of the natural numbers with multiplication, named in honor of Thoralf Skolem. The signature of Skolem arithmetic contains only the multiplication operation and equality, omitting the addition operation entirely. Skolem arithmetic is much weaker than Peano arithmetic, which includes both addition and multiplication operations. Unlike Peano arithmetic, Skolem arithmetic is a decidable theory. This means it is possible to effectively determine, for any sentence in the language of Skolem arithmetic, whether that sentence is provable from the axioms of Skolem arithmetic. The asymptotic running-time computational complexity of this decision problem is triply exponential, however. ==Extension== Skolem arithmetic with the order predicate or the successor predicate is equivalent to Peano arithmetic. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Skolem arithmetic」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.